Reasoning with Logical Bilattices
نویسندگان
چکیده
The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications. In the present paper we develop proof systems, which correspond to bilattices in an essential way. For this goal we introduce the notion of logical bilattices. We also show how they can be used for eecient inferences from possibly inconsistent data. For this we incorporate certain ideas of Kifer and Lozinskii, which happen to suit well the context of our work. The outcome are paraconsistent logics with a lot of desirable properties 1 .
منابع مشابه
Bilattices with Implications
In a previous work we studied, from the perspective of Abstract Algebraic Logic, the implicationless fragment of a logic introduced by O. Arieli and A. Avron using a class of bilattice-based logical matrices called logical bilattices. Here we complete this study by considering the Arieli-Avron logic in the full language, obtained by adding two implication connectives to the standard bilattice l...
متن کاملThe Logical Role of the Four-Valued Bilattice
In his well-known paper \How computer should think" ((Be77b]) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we vindicate this thesis by showing that the logical role that the four-valued structure has among Ginsberg's well-known bilattices is similar to the role that the two-valued algebra has among Boolean algebras .
متن کاملThe logic of distributive bilattices
Bilattices, introduced by Ginsberg [26] as a uniform framework for inference in Artificial Intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron [3] developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the we...
متن کامل4-valued Reasoning with Stratified Bilattices
Since [5], 4-valued logic is known to be a useful tool to capture the human reasoning: it is paraconsistent, can treat incompleteness and inconsistency of information etc. In this paper, I propose a 4-valued reasoning system with stratified bilattices of [12]. It inherits desirable formal properties of 4-valued logic, and further realizes a certain kind of default reasoning and truth maintenanc...
متن کاملEvidential Bilattice Logic and Lexical Inference
This paper presents the current state of the logic that I am using to analyse entailment, implicature and presupposition in natural language. The logic is very ne-grained and is able to make distinctions that are outside the scope of classical logic. It is independently motivated by certain properties of natural human reasoning, namely partiality , paraconsis-tency , relevance , and defeasibili...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Logic, Language and Information
دوره 5 شماره
صفحات -
تاریخ انتشار 1996